Linear logic, ∗-autonomous categories and cofree coalgebras